knowledge operator 예문

• These constraints are matched by particular axioms for the knowledge operator K _ j.
• Despite the fact that the notion of common belief has to be introduced as a primitive in the language, we can notice that the definition of epistemic models does not have to be modified in order to give truth value to the common knowledge and distributed knowledge operators.